// See LICENSE for license details.
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "platform.h"
#include <string.h>
#include "plic/plic_driver.h"
#include "encoding.h"
#include <unistd.h>
#include "stdatomic.h"

int main(void)
{
    int a=10;
    int size=1024;
    printf("write ram 4MB\n");
    for(int i=0;i<size;i++)
        BRAM_WRITE(i*4)=a;
    
    //int b=BRAM_WRITE(0);
    //printf("%d\n", b);
    printf("finish write ram\n");
}

